REF, NoConds
es_real{ABS:q, $opid:t}(tokens) == EsReal `$opid` tokens 

latex

Up	Tactics as terms
Definitions	EsReal `$opid` tokens
FDL editor aliases	real-tac